1. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
Author: Wallen, Lincoln A.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
Classification :
QA
9
.
54
.
W35
1990
